基于EFSM模型的不可行迁移路径判定

扩展有限状态机(Extended Finite State Machine:EFSM)虽然被广泛用作各种软件的底层模型,但如何判定其测试序列的不可行性是一个困难的问题,为此将迁移路径上的变量分为计数器变量、选择变量和矛盾变量,并从这三个角度进行路径的不可行判定.实验结果表明,EFSM模型中的不可行迁移路径主要由这三类变量引起,且本方法可以有效地判定出含这三类变量的不可行迁移路径.     

预应力混凝土管断裂原区分析及其修补技术

位于软粘土地基中的预应力钢筋混凝土压力管，由于管道设计的不合理以及地基处理的严重质量问题，致使地基土产生严重不均匀沉降，最终导致管道断裂。本文论术了管道产生断裂的原因，并介绍了该管道的修补方法。     

冲击地压灾害结构失稳机理的组合体试验研究

煤矿冲击地压的发生机理极其复杂,是煤岩体非线性破坏、失稳矿山压力显现的总称。在分析煤岩体破坏机理和采动影响的基础上,应用能量积聚-释放诱发冲击地压的原理设计了煤岩体组合力学模型及模拟煤岩体突出的结构失稳加载试验系统试验,并配制、筛选大变形突出倾向性相似材料等方面进行了组合体结构加载失稳试验,获得了煤岩结构失稳与位移突出的特征。试验表明:组合体试件在加卸载过程中和破坏失稳时表现为稳定态能量积蓄、非稳态释放特征,是应力环境、材料强度与结构等多种因素影响的非线性动力学过程。     

利用在线内阻测试方法捕捉蓄电池组中的异常个体

根据蓄电池劣化程度SoH的定义,分析了深度放电测量方法的约束性,探讨了交流法在线内阻测试方法的可行性,阐述了内阻与SoH之间的关系,提出利用交流法在线测试蓄电池内阻技术,及时捕捉蓄电池组中工作异常的单体电池,进行个别处理和更换,消除后备电源系统的工作隐患。     

新疆阜康市阜试1井煤层气产气分析及小井网布设建议

本文通过对新疆阜康市东40km处白杨河西阜试1井钻井、排采情况的分析,44号煤层洞穴完井和42号煤层高能气体射孔压裂效果不明显,导致该生产试验井产气量很低。本文建议对阜试1井采用清水加沙压裂,以提高其产气能力,并根据高倾角地层的特点,提出布设"梯形井网"的方式,来提高综合产气能力。     

抽水蓄能调速器内嵌式测试子系统研究

提出了在抽水蓄能调速器中内嵌测试子系统。描述了其硬件、软件和实时仿真算法。它可对调速器进行静态、动态特性测试、性能指标计算、动态录波和结果打印。嵌入这些通常由独立测试仪器完成的任务，方便了用户，充分利用了装置的软硬件资源。现场运行证实了其可行性和实用价值。     

损伤材料的热塑性本构关系及对柱壳破裂问题的应用

从应变等价原理和线性温升软化近似出发，得到了有关的材料参数的表达式．通过本构关系的内变量理论导出了一个含损伤和温度软化效应的增量型塑性本构方程．然后将所得到的本构方程应用于内部爆轰加载下钢管的破裂问题中，并给出了相应的计算流程．进行了具体的数值计算并分析了有关规律．计算结果和实验结果符合得比较好     

射线三维检测一般位置像对的数学模型

建立了射线三维检测中拍摄一般位置像对时解决缺陷定位、定量问题的数学模型 ,使射线检测更具推广应用的实际价值     

PI—B型感光材料分辨率测定仪

阐述了一种新型感光材料分辨率测定仪的原理，重点讨论了仪器参数的选择和控制显示系统的原理和组成，并给出了装调结果，该仪器光学分辨率高，检测速度快，自动化程度高，新型的液晶汉字显示使各种操作完全并幕菜单选择完成。     

东中-田地石灰石矿区水质化验资料分析

通过东中-田地石灰石矿山地表水体和地下水体的水质化验比对工作,提供多组水质背景值,及时、准确地判断、掌握相关水体水质状况,为预防和治理该矿山水患和水污染指明方向和对策,并保障矿区居民正常的生产、生活活动。